Samenvatting: Wat is de definitieve referentie of referentie-implementatie voor de RISC-V-ISA op gebruikersniveau? Context: De RISC-V-website heeft "The RISC-V Instruction Set Manual", die de instructies op gebruikersniveau heel goed uitlegt, maar geen exacte specificatie voor hen geeft. Ik probeer nu een ISA-simulator op gebruikersniveau te bouwen en ben van plan later een FPGA-implementatie te schrijven, dus het exacte gedrag is belangrijk voor mij. Een referentie-implementatie zou voldoende zijn, maar zou bij voorkeur zo eenvoudig mogelijk moeten zijn - d.w.z. ik zou proberen een pijplijnimplementatie alleen als laatste redmiddel te begrijpen. Wat belangrijk is, is om inzicht te hebben in de gespecificeerde ISA en niet in een enkele CPU-implementatie of compiler-implementatie. Een voorbeeld om mijn probleem te laten zien is de AUIPC-instructie: de proza-uitleg zegt: "AUIPC vormt een 32-bit offset van de 20-bit U-onmiddellijke, vult de laagste 12 bits in met nullen, voegt deze offset toe aan de pc, dan plaatst het resultaat in register rd. " Ik wilde weten of dit verwijst naar de oude of nieuwe pc, d.w.z. de positie van de AUIPC-instructie of de volgende instructie. Ik heb gekeken naar de "RISCV Angel" -implementatie, maar dat lijkt de lagere delen van de (oude) pc te maskeren - niet alleen van de onmiddellijke - waarvoor ik geen reden kon vinden in de specificatie, zelfs niet in de wijzigingsgeschiedenis van de specificatie (aangezien Angel een beetje ouder is). In plaats van een antwoord heb ik nu twee vragen over AUIPC. Veel andere instructies stellen mij voor soortgelijke problemen.
2021-01-16 08:15:04
AFAICT de handleiding van de RISC-V-instructieset die u citeert, komt het dichtst in de buurt van een definitieve verwijzing. Als er dingen zijn die daar onduidelijk of onjuist zijn, kunt u problemen openen op de Github-site waar dat document wordt bijgehouden: https://github.com/riscv/riscv-isa-manual
Wat AIUPC betreft, wordt het antwoord geïmpliceerd, maar niet expliciet vermeld, door deze zin onderaan pagina 9 van de huidige handleiding:
Er is een extra, voor de gebruiker zichtbaar register: de programmateller-pc bevat het adres van de huidige instructie.
Op basis van die verklaring zou ik verwachten dat de pc-waarde die wordt gezien en gemanipuleerd door de AIUPC-instructie het adres is van de AIUPC-instructie zelf.
Deze interpretatie wordt ondersteund door de bespreking van de JALR-instructie:
De indirecte spronginstructie JALR (sprong- en linkregister) gebruikt de I-type codering. Het doeladres wordt verkregen door de 12-bits ondertekende I-onmiddellijk toe te voegen aan het register rs1, en vervolgens de minst significante bit van het resultaat op nul te zetten. Het adres van de instructie die volgt op de sprong (pc + 4) wordt naar register rd geschreven.
Gegeven dat het adres van de volgende instructie wordt uitgedrukt als pc + 4, lijkt het duidelijk dat de pc-waarde die zichtbaar is tijdens het uitvoeren van JALR het adres is van de JALR-instructie zelf.
De laatste versie van de handleiding (op https://github.com/riscv/riscv-isa-manual/releases/download/draft-20190321-ba17106/riscv-spec.pdf) maakt de situatie iets duidelijker. In plaats van dit in de huidige handleiding:
AUIPC voegt 12 nulbits van lage orde toe aan de 20-bits U-onmiddellijke, verlengt het resultaat tot 64 bits, voegt het vervolgens toe aan de pc en plaatst het resultaat in register rd.
de laatste versie zegt:
AUIPC vormt een 32-bits offset van de 20-bits U-onmiddellijke, vult de laagste 12 bits in met nullen, voegt deze offset toe aan de pc van de AUIPC-instructie en plaatst het resultaat vervolgens in register rd.
|
Uw antwoord
StackExchange.ifUsing ("editor", function () {
StackExchange.using ("externalEditor", function () {
StackExchange.using ("snippets", function () {
StackExchange.snippets.init ();
});
});
}, "code-snippets");
StackExchange.ready (function () {
var channelOptions = {
tags: "" .split (""),
id: "1"
};
initTagRenderer ("". split (""), "" .split (""), channelOptions);
StackExchange.using ("externalEditor", function () {
// Moet de editor na fragmenten activeren, als fragmenten zijn ingeschakeld
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using ("snippets", function () {
createEditor ();
});
}
anders {
createEditor ();
}
});
functie createEditor () {
StackExchange.prepareEditor ({
useStacksEditor: false,
heartbeatType: 'antwoord',
autoActivateHeartbeat: false,
convertImagesToLinks: waar,
noModals: waar,
showLowRepImageUploadWarning: true,
ReputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Aangedreven door \ u003ca href = \" https: //imgur.com/ \ "\ u003e \ u003csvg class = \" svg-icon \ "width = \" 50 \ "hoogte = \" 18 \ "viewBox = \ "0 0 50 18 \" fill = \ "none \" xmlns = \ "http: //www.w3.org/2000/svg \" \ u003e \ u003cpath d = \ "M46.1709 9.17788C46.1709 8.26454 46.2665 7.94324 47.1084 7.58816C47.4091 7.46349 47.7169 7.36433 48.0099 7.26993C48.9099 6.97997 49.672 6.73443 49.672 5.93063C49.672 5.22043 48.9832 4.61182 48.1414 4.61182C47.4335 4.61182 46.7256 4.91628 46.0943 5.000 43.1481 6.59048V11.9512C43.1481 13.2535 43.6264 13.8962 44.6595 13.8962C45.6924 13.8962 46.1709 13.2535 46.1709 11.9512V9.17788Z \ "/ \ u003e \ u003cpath d = \" M32.492 10.1419C32.492 14.045.14.07 37.492 14.045.14.07 37.045 14.6954 41.5985 12.6954 41.5985 10.1419V6.59049C41.5985 5.28821 41.1394 4.66232 40.1061 4.66232C39.0732 4.66232 38.5948 5.28821 38.5948 6.59049V9.60062C38.5948 10.8521 38.2696 11.520455 37.0451 11.5954.545.8 521 35.4954 9.60062V6.59049C35.4954 5.28821 35.0173 4.66232 34.0034 4.66232C32.9703 4.66232 32.492 5.28821 32.492 6.59049V10.1419Z \ "/ \ u003e \ u003cpath fill-rule = \" evenodd \ "clip-rule = \" evenodd \ "d = \ "M25.6622 17.6335C27.8049 17.6335 29.3739 16.9402 30.2537 15.6379C30.8468 14.7755 30.9615 13.5579 30.9615 11.9512V6.59049C30.9615 5.28821 30.4833 4.66231 29.4502 4.66231C28.9913 4.63.7031 28.455 .1369 4.56087 21.0134 6.57349 21.0134 9.27932C21.0134 11.9852 23.003 13.913 25.3754 13.913C26.5612 13.913 27.4607 13.4902 28.1109 12.6616C28.1109 12.7229 28.1161 12.7799 28.121 12.8346C28 ... 15.2321 24.1352 14.9821 23.5661 14.7787C23.176 14.6393 22.8472 14.5218 22.5437 14.5218C21.7977 14.5218 21.2429 15.0123 21.2429 15.6887C21.2429 16.7375 22.9072 17.6335 25.6622 17.6335Z79C24.13 27.2119 7.09766 28.0918 7.94324 28.0918 9.27932C28.0918 10.6321 27.2311 11.511626.1024 11.5116C24.9737 11.5116 24.1317 10.6491 24.1317 9.27932Z \ "/ \ u003e \ u003cpath d = \" M16.8045 11.9512C16.8045 13.2535 17.2637 13.8962 18.2965 13.8962C19.3298 13.828V 11.802879 13.2566 19.80879. 16.4027 4.62866C15.1594 4.62866 14.279 4.98375 13.3609 5.88013C12.653 5.05154 11.6581 4.62866 10.3573 4.62866C9. 6.51203 13.8962C7.54479 13.8962 8.0232 13.2535 8.0232 11.9512V8.90741C8.0232 7. 9157 7.58817 14.3365 6.91179 15.4269 6.91179C16.4027 6.91179 16.8045 7.58817 16.8045 8.94108V11.9512Z / \ u003e \ u003cpath d = M3.31675 6.59049C3.31675 5.28821 2.83866 4.66232 1.82471 4.66232C0 .791758 4.66232 0.313354 5.28821 0.313354 6.59049V11.9512C0.313354 13.2535 0.791758 13.8962 1.82471 13.8962C2.85798 13.8962 3.31675 13.2535 3.31675 11.9512V6.59049Z \ "/ u003e \ u003.82012009151.1. 1.98861C0 2,87869 0,822846 3,57676 1,87209 3.57676C2.90056 3,57676 3,7234 2,87869 3,7234 1.98861C3.7234 1,1159 2,90056 0,400291 1,87209 0.400291Z \ "fill = \" # 1BB76E \ "/ \ u003e \ u003c / s / u003e \ u003c / s ,
contentPolicyHtml: "Bijdragen gebruiker gelicenseerd onder \ u003Ca href = \" https: //stackoverflow.com/help/licensing \ "\ u003ecc by-sa \ u003c / a \ u003e \ u003Ca href = \" https://stackoverflow.com / legal / content-policy \ "\ u003e (contentbeleid) \ u003c / a \ u003e",
allowUrls: waar
},
onDemand: true,
discardSelector: ".discard-antwoord"
, onmiddellijkShowMarkdownHelp: true, enableTables: true, enableSnippets: true
});
}
});
Bedankt voor het dragen van een antwoord op stack overflow!
Zorg ervoor dat u de vraag beantwoordt. Geef details en deel uw onderzoek!
Maar vermijd ...
Om hulp, opheldering vragen of reageren op andere antwoorden.
Uitspraken doen op basis van meningen; Maak er een back-up van met referenties of persoonlijke ervaring.
Voor meer informatie, zie onze tips over het schrijven van goede antwoorden.
Concept opgeslagen
Draft weggegooid
Meld u aan of log in
StackExchange.ready (function () {
StackExchange.helpers.onClickDraftSave ('# login-link');
});
Registreren met behulp van Google
Registreren met behulp van Facebook
Meld u aan met e-mail en wachtwoord
Verzenden
Plaats als gast
Naam
E-mail
Verplicht, maar nooit getoond
StackExchange.ready (
function () {
StackExchange.openid.initPostLogin ('. New post-login', 'https% 3a% 2f% 2fstackoverflow.com% 2fquestions% 2f55314747% 2frisc-v-gebruikersniveau-referentie-of-referentie-implementatie% 23new-antwoord' , 'vraagpagina');
}
);
Plaats als gast
Naam
E-mail
Verplicht, maar nooit getoond
Plaats uw antwoord
Gooi weg
Door te klikken op “Plaats uw antwoord”, gaat u akkoord met onze voorwaarden van de dienst, privacy beleid en cookiebeleid
Niet het antwoord waar je naar zoekt? Blader door andere vragen met de tag riscv of stel uw eigen vraag.